(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(declare-fun f () Int)
(declare-fun g () Int)
(declare-fun h () Int)
(assert (<= (/ 2 f b) g))
(assert (<= (* g a (* a d)) (- 2)))
(assert (<= (+ b (* 6 e) (* (- 25) c)) (+ h h (* (- 11) g)) 5))
(check-sat)
